The RISC ProofNavigator Tutorial and Manual1
نویسنده
چکیده
This document describes the use of the RISC ProofNavigator, an interactive proving assistant for program and system reasoning developed at the Research Institute for Symbolic Computation (RISC).
منابع مشابه
Program Verification with the RISC ProofNavigator
This paper describes the use of the RISC ProofNavigator, an interactive proving assistant for the area of program verification. This assistant has been developed with a focus on simplicity and ease of use; it is intended to be suitable for educational scenarios as well as for realistic applications.
متن کاملThe RISC ProgramExplorer Tutorial and Manual∗
This document describes the use of the RISC ProgramExplorer, an interactive program reasoning environment which has been developed at the Research Institute for Symbolic Computation (RISC) and which integrates the previously developed RISC ProofNavigator as an interactive proving assistant. The environment allows to formally specify, analyze, and verify programs written in a subset of Java. For...
متن کاملDevelopment and Usability Evaluation of an Online Tutorial for “How to Write a Proposal” for Medical Sciences Students
Background and Objective: Considering the importance of learning how to write a proposal for students, this study was performed to develop an online tutorial for “How to write a Proposal” for students and to evaluate its usability. Methods: This study is a developmental research and tool design. “Gamified Online Tutorial based on Self-Determination Theory (GOT-STD) Framework" became the basis f...
متن کاملMedical nanobiosensors: A tutorial review
A sensitive monitoring of biological analytes, such as biomolecules (protein, lipid, DNA and RNA), and biological cells (blood cell, virus and bacteria), is essential to assess and avoid risks for human health. Nanobiosensors, analytical devices that combine a biologically sensitive element with a nanostructured transducer, are being widely used for molecular detection of biomarkers associated ...
متن کاملTutorial Review: Simulation of Oscillating Chemical Reactions Using Microsoft Excel Macros
Oscillating reactions are one of the most interesting topics in chemistry and analytical chemistry. Fluctuations in concentrations of one the reacting species (usually a reaction intermediate) create an oscillating chemical reaction. In oscillating systems, the reaction is far from thermodynamic equilibrium. In these systems, at least one autocatalytic step is required. Developing an instinctiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007